Sequence control between statement in POPL